大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Foundations of Security Analysis and Design V [electronic resource] : FOSAD 2007/2008/2009 Tutorial Lectures

0
索取号：
作者：Aldini、 Alessandro.、Barthe、 Gilles.、Gorrieri、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

0
索取号：
作者：Kr谩lovi膷、 Rastislav.、Niwi艅ski、 Damian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Analysis of Images and Patterns [electronic resource] : 13th International Conference, CAIP 2009, M眉nster, Germany, September 2-4, 2009. Proceedings

0
索取号：
作者：Jiang、 Xiaoyi.、Petkov、 Nicolai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

History of Nordic Computing 2 [electronic resource] : Second IFIP WG 9.7 Conference, HiNC2, Turku, Finland, August 21-23, 2007, Revised Selected Papers

0
索取号：
作者：Impagliazzo、 John.、J盲rvi、 Timo.、Paju、 Petri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

0
索取号：
作者：Kurz、 Alexander.、Lenisa、 Marina.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction-INTERACT 2009 [electronic resource] : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II

0
索取号：
作者：Gross、 Tom.、Gulliksen、 Jan.、Kotz茅、 Paula.、Oestreicher、 Lars.、Palanque、 Philippe.、Prates、 Raquel Oliveira.、Winckler、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction-INTERACT 2009 [electronic resource] : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I

0
索取号：
作者：Gross、 Tom.、Gulliksen、 Jan.、Kotz茅、 Paula.、Oestreicher、 Lars.、Palanque、 Philippe.、Prates、 Raquel Oliveira.、Winckler、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings

0
索取号：
作者：Cremers、 Daniel.、Boykov、 Yuri.、Blake、 Andrew.、Schmidt、 Frank R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advanced Topics in System and Signal Theory [electronic resource] : A Mathematical Approach

0
索取号：
作者：Pohl、 Volker.、Boche、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Aspects of Soft Computing, Intelligent Robotics and Control [electronic resource]

0
索取号：
作者：Fodor、 J谩nos.、Kacprzyk、 Janusz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Mathematical Morphology and Its Application to Signal and Image Processing [electronic resource] : 9th International Symposium, ISMM 2009 Groningen, The Netherlands, August 24-27, 2009 Proceedings

0
索取号：
作者：Wilkinson、 Michael H. F.、Roerdink、 Jos B. T. M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Combinatorial Mathematics [electronic resource] : Proceedings of the Waterloo Workshop in Computer Algebra 2008

0
索取号：
作者：Kotsireas、 Ilias S.、Zima、 Eugene V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Contemporary Computing [electronic resource] : Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings

0
索取号：
作者：Ranka、 Sanjay.、Aluru、 Srinivas.、Buyya、 Rajkumar.、Chung、 Yeh-Ching.、Dua、 Sumeet.、Grama、 Ananth.、Gupta、 Sandeep K. S.、Kumar、 Rajeev.、Phoha、 Vir V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Peer-to-Peer Computing [electronic resource] : Principles and Applications

0
索取号：
作者：Vu、 Quang Hieu.、Lupu、 Mihai.、Ooi、 Beng Chin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

0
索取号：
作者：Leucker、 Martin.、Morgan、 Carroll.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Foundations and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

0
索取号：
作者：Degano、 Pierpaolo.、Vigan貌、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.